A Sketch of a Qualification Calculus
نویسندگان
چکیده
We introduce a symbolic, qualitative model of uncertain reasoning and apply it to a concept acquisition problem in the framework of natural language text understanding. Considering uncertain reasoning as a choice problem between different alternatives (hypotheses), the model we provide assigns quality labels to single evidences for or against a hypothesis, combines the generated labels in terms of the overall credibility of a single hypothesis, and, finally, computes a preference order for the entire set of competing hypotheses. This model of quality-based uncertain reasoning is entirely embedded in a description logic framework.
منابع مشابه
Causality and the Qualification Problem
In formal theories for reasoning about actions, the qualification problem denotes the problem to account for the many conditions which, albeit being unlikely to occur, may prevent the successful execution of an action. By a simple counter-example in the spirit of the well-known Yale Shooting scenario, we show that the common straightforward approach of globally minimizing such abnormal disquali...
متن کاملThe Qualification Problem: A solution to the problem of anomalous models
Intelligent agents in open environments inevitably face the Qualification Problem: The executability of an action can never be predicted with absolute certainty; unexpected circumstances, albeit unlikely, may at any time prevent the successful performance of an action. Reasoning agents in real-world environments rely on a solution to the Qualification Problem in order to make useful predictions...
متن کاملAddressing the Qualification Problem in FLUX
The Qualification Problem arises for planning agents in realworld environments, where unexpected circumstances may at any time prevent the successful performance of an action. We present a logic programming method to cope with the Qualification Problem in the action programming language Flux, which builds on the Fluent Calculus as a solution to the fundamental Frame Problem. Our system allows t...
متن کاملFormal Theories of Action (Preliminary Report)
We apply circumscription to formalizing reasoning about the effects of actions in the framework of the situation calculus. The axiomatic description of causal connections between actions and changes allows us to solve the qualification problem and the frame problem using only simple forms of circumscription. The method is applied to the Hanks—McDermott shooting problem and to a blocks world in ...
متن کاملUsing SparQ for Matching Sketch Maps
Qualitative spatial relations have been argued to play an important role in the interpretation and analysis of sketch maps as typically only rough qualitative categories are preserved in these kinds of externalized spatial representations. In this paper, we look at processing sketch maps from a qualitative spatial reasoning (QSR) perspective. In particular in focus is the matching problem of fi...
متن کامل